| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Advanced Automata Theory | Fach-/Modulprüfung | 6 | 478709 | ||
| Algorithmische Spieltheorie | Fach-/Modulprüfung | 6 | 478826 | ||
| Dynamical Processes on Networks | Fach-/Modulprüfung | 6 | 475176 | ||
| Vorlesung | 481663 | Di 12:30-14:00 AH I (2350|028) (×12) Mi 08:30-10:00 AH VI (2356|051) (×14) | |||
| Übung | 481664 | Mi 10:30-12:00 AH V (2356|050) (×14) | |||
| Fixpoints and Induction in Logic and Computer Science | Fach-/Modulprüfung | 6 | 474631 | ||
| Vorlesung | 474372 | Mi 10:30-12:00 5052 (2356|052) (×12) Do 10:30-12:00 5056 (2356|056) (×6) | |||
| Übung | 474260 | Do 12:30-14:00 5054 (2356|054) (×10) | |||
| Formale Grundlagen von UML | Fach-/Modulprüfung | 6 | 474766 | ||
| Funktionale Programmierung | Fach-/Modulprüfung | 6 | 477345 | ||
| Graphzerlegungen und algorithmische Anwendungen | Fach-/Modulprüfung | 6 | 477998 | ||
| Höhere Algorithmik | Fach-/Modulprüfung | 6 | 475375 | ||
| Infinite Computations and Games | Fach-/Modulprüfung | 6 | 476569 | ||
| Logics for Reasoning about Uncertainty | Fach-/Modulprüfung | 4 | 476389 | ||
| Logikprogrammierung | Fach-/Modulprüfung | 6 | 477019 | ||
| Machine Learning with Graphs: Foundations and Applications | Fach-/Modulprüfung | 6 | 482399 | ||
| Vorlesung/Übung | 482126 | Mi 08:30-10:00 S03 (1385|203) (×14) Do 10:30-12:00 R 220 (1080|220) (×12) | |||
| Model Checking | Fach-/Modulprüfung | 6 | 477928 | ||
| Vorlesung | 474525 | Mo 12:00-14:00 5055 (2356|055) (×1) Mo 16:30-18:00 AH II (2350|111) (×10) Di 18:30-20:00 AH III (2350|314.1) (×12) Do 09:50-15:00 5052 (2356|052) (×1) | |||
| Übung | 474235 | Fr 12:30-14:00 AH II (2350|111) (×13) | |||
| Modeling and Verification of Probabilistic Systems | Fach-/Modulprüfung | 6 | 475383 | ||
| Modellierung und Analyse hybrider Systeme | Fach-/Modulprüfung | 6 | 476135 | ||
| Online Algorithmen | Fach-/Modulprüfung | 6 | 474810 | ||
| Probabilistic Programming | Fach-/Modulprüfung | 6 | 476025 | ||
| Provenance Analysis and Semiring Semantics for Logics and Games | Fach-/Modulprüfung | 4 | 474638 | ||
| Quantum Computing | Fach-/Modulprüfung | 4 | 476641 | ||
| Vorlesung | 481713 | Mo 14:30-16:00 AH I (2350|028) (×11) Mi 10:00-12:00 AH II (2350|111) (×1) Do 14:00-16:00 AH III (2350|314.1) (×1) | |||
| Rekursionstheorie | Fach-/Modulprüfung | 6 | 475389 | ||
| Semantik und Verifikation von Software | Fach-/Modulprüfung | 6 | 478508 | ||
| Vorlesung | 481432 | Mo 12:30-14:00 AH III (2350|314.1) (×8) Di 12:30-14:00 AH VI (2356|051) (×9) Di 13:00-14:00 AH VI (2356|051) (×1) | |||
| Übung | 481431 | Mi 10:30-12:00 AH I (2350|028) (×10) | |||
| Statische Programmanalyse | Fach-/Modulprüfung | 6 | 476798 | ||
| The Graph Isomorphism Problem | Fach-/Modulprüfung | 6 | 475203 | ||
| Übung | 481975 | Fr 12:30-14:00 5054 (2356|054) (×10) | |||
| Vorlesung | 481974 | Di 08:30-10:00 AH II (2350|111) (×10) Do 14:30-16:00 AH II (2350|111) (×9) | |||
| Theory of Constraint Satisfaction Problems | Fach-/Modulprüfung | 6 | 475717 | ||
| Theory of Distributed and Parallel Systems | Fach-/Modulprüfung | 6 | 478364 | ||
| Vorlesung | 481626 | Di 16:30-18:00 AH III (2350|314.1) (×13) Do 16:30-18:00 AH III (2350|314.1) (×9) | |||
| Übung | 481630 | Di 14:30-16:00 5055 (2356|055) (×9) Di 14:30-16:00 Seminarraum i1, Raum 4017 (2353|017) (×2) |